Safety Property Analysis Techniques for Cooperating Embedded Systems Using LTS
· One min read
SEUS(Software Technologies for Embedded and Ubiquitous Systems) 2007, Lecture Notes in Computer Science #4761(ISSN :0302-9743), Vol. 4761, pp. 114-124, May 2007.